home *** CD-ROM | disk | FTP | other *** search
Text File | 2003-02-09 | 37.8 KB | 1,099 lines |
- ;;; -*- Mode: Lisp; Package: Maxima; Syntax: Common-Lisp; Base: 10 -*- ;;;;
- ;;;Translated on: 4/21/85 11:00:16
- (in-package "MAXIMA")
-
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $DVA T TRANSLATED)
- (ADD2LNC '$DVA $PROPS)
- (DEFMTRFUN ($DVA $ANY MDEFMACRO NIL NIL)
- ($VAR)
- NIL
- (MBUILDQ-SUBST (LIST (CONS '$VAR $VAR))
- '(($DEFINE_VARIABLE) $VAR
- ((MQUOTE) $VAR) $ANY)))))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (MEVAL* '(($MODEDECLARE) $%N $ANY))
- (MEVAL* '(($DECLARE) $%N $SPECIAL))
- NIL
- (DEF-MTRVAR $%N '$%N))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (MEVAL* '(($MODEDECLARE) $%PW $ANY))
- (MEVAL* '(($DECLARE) $%PW $SPECIAL))
- NIL
- (DEF-MTRVAR $%PW '$%PW))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (MEVAL* '(($MODEDECLARE) $%F $ANY))
- (MEVAL* '(($DECLARE) $%F $SPECIAL))
- NIL
- (DEF-MTRVAR $%F '$%F))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (MEVAL* '(($MODEDECLARE) $%F1 $ANY))
- (MEVAL* '(($DECLARE) $%F1 $SPECIAL))
- NIL
- (DEF-MTRVAR $%F1 '$%F1))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (MEVAL* '(($MODEDECLARE) $L% $ANY))
- (MEVAL* '(($DECLARE) $L% $SPECIAL))
- NIL
- (DEF-MTRVAR $L% '$L%))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (MEVAL* '(($MODEDECLARE) $SOLVEP $ANY))
- (MEVAL* '(($DECLARE) $SOLVEP $SPECIAL))
- NIL
- (DEF-MTRVAR $SOLVEP '$SOLVEP))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (MEVAL* '(($MODEDECLARE) $%R $ANY))
- (MEVAL* '(($DECLARE) $%R $SPECIAL))
- NIL
- (DEF-MTRVAR $%R '$%R))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (MEVAL* '(($MODEDECLARE) $P $ANY))
- (MEVAL* '(($DECLARE) $P $SPECIAL))
- NIL
- (DEF-MTRVAR $P '$P))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (MEVAL* '(($MODEDECLARE) $%CF $ANY))
- (MEVAL* '(($DECLARE) $%CF $SPECIAL))
- NIL
- (DEF-MTRVAR $%CF '$%CF)
- (proclaim '(special $%0 $%1 $%% $y $maperror $mapprint
- ;$%2 $n $%n $%pw $p $%g ;thing the problem was errset.
- ))
- )
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $ALGEBRAICP T TRANSLATED)
- (ADD2LNC '$ALGEBRAICP $PROPS)
- (DEFMTRFUN
- ($ALGEBRAICP $BOOLEAN MDEFINE NIL NIL)
- ($%1)
- NIL
- ((LAMBDA
- NIL
- ((LAMBDA
- (MCATCH)
- (PROG2
- NIL
- (CATCH
- 'MCATCH
- (PROGN
- (SIMPLIFY
- ($SUBSTITUTE
- (SIMPLIFY
- (LIST
- '(MEQUAL)
- '&^
- (M-TLAMBDA
- ($%1 $%2)
- NIL
- (COND
- ((NOT ($INTEGERP $%2))
- ((LAMBDA (X)
- (COND ((NULL MCATCH)
- (DISPLA X)
- (*MERROR '|THROW not within CATCH|)))
- (THROW 'MCATCH X))
- T))))))
- $%1))
- NIL))
- (ERRLFUN1 MCATCH)))
- (CONS BINDLIST LOCLIST))))))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $HICOEF T TRANSLATED)
- (ADD2LNC '$HICOEF $PROPS)
- (DEFMTRFUN ($HICOEF $ANY MDEFINE NIL NIL)
- ($X $N)
- NIL
- (PROGN (SETQ $X (SIMPLIFY ($RATSIMP $X $N)))
- (SIMPLIFY ($COEFF $X $N (SIMPLIFY ($HIPOW $X $N)))))))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $GENPOL T TRANSLATED)
- (ADD2LNC '$GENPOL $PROPS)
- (DEFMTRFUN ($GENPOL $ANY MDEFINE NIL NIL)
- ($N)
- NIL
- (COND ((IS-BOOLE-CHECK (MLSP $N 0)) 0)
- (T (ADD* (SIMPLIFY ($CONCAT '$% $N))
- (MUL* (TRD-MSYMEVAL $%N '$%N)
- (SIMPLIFY ($GENPOL (ADD* $N -1)))))))))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $CLIST T TRANSLATED)
- (ADD2LNC '$CLIST $PROPS)
- (DEFMTRFUN
- ($CLIST $ANY MDEFINE NIL NIL)
- ($P)
- NIL
- (COND
- ((LIKE 0 (TRD-MSYMEVAL $P '$P)) '((MLIST)))
- (T
- ($CONS
- (SIMPLIFY
- ($RATDISREP (SETQ $%PW (SIMPLIFY ($RATCOEF (TRD-MSYMEVAL $P '$P)
- (TRD-MSYMEVAL $%N '$%N)
- 0)))))
- (SIMPLIFY ($CLIST (RATF (DIV (ADD* (TRD-MSYMEVAL $P '$P)
- (*MMINUS (TRD-MSYMEVAL $%PW
- '$%PW)))
- (TRD-MSYMEVAL $%N '$%N))))))))))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $UNSUM T TRANSLATED)
- (ADD2LNC '$UNSUM $PROPS)
- (DEFMTRFUN
- ($UNSUM $ANY MDEFINE NIL NIL)
- ($%G $%N)
- NIL
- (COND
- ((OR ($ATOM $%G)
- (NOT (LIKE ($PART $%G 0) '&+)))
- (SIMPLIFY
- ($FACTOR
- (MUL*
- (ADD*
- (DIV
- ($NUM $%G)
- (SIMPLIFY
- ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N) -1)
- (TRD-MSYMEVAL $%N '$%N)
- (SIMPLIFY ($PRODGUNCH ($NUM $%G)
- (TRD-MSYMEVAL $%N '$%N)
- 1)))))
- (*MMINUS
- (DIV
- ($DENOM $%G)
- (SIMPLIFY
- ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N) -1)
- (TRD-MSYMEVAL $%N '$%N)
- (SIMPLIFY ($PRODGUNCH ($DENOM $%G)
- (TRD-MSYMEVAL $%N '$%N)
- 1)))))))
- (DIV (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N) -1)
- (TRD-MSYMEVAL $%N '$%N)
- ($NUM $%G)))
- ($DENOM $%G))))))
- (T
- (SIMPLIFY
- (MAP1 (GETOPR (M-TLAMBDA ($X)
- NIL
- (SIMPLIFY ($UNSUM $X
- (TRD-MSYMEVAL $%N '$%N)))))
- $%G))))))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $PRODFLIP T TRANSLATED)
- (ADD2LNC '$PRODFLIP $PROPS)
- (DEFMTRFUN
- ($PRODFLIP $ANY MDEFINE NIL NIL)
- ($%0)
- NIL
- (SIMPLIFY
- ($SUBSTITUTE
- (LIST
- '(MLIST)
- (SIMPLIFY (LIST '(MEQUAL) (SIMPLIFY ($NOUNIFY '$PRODUCT)) '$PRODUCT))
- (SIMPLIFY
- (LIST '(MEQUAL)
- '$PRODUCT
- (M-TLAMBDA ($%0 $%1 $% $%%)
- NIL
- (DIV 1
- (SIMPLIFY ($PRODU (DIV 1 $%0)
- $%1
- (TRD-MSYMEVAL $% '$%)
- (TRD-MSYMEVAL $%% '$%%))))))))
- $%0))))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $PRODGUNCH T TRANSLATED)
- (ADD2LNC '$PRODGUNCH $PROPS)
- (DEFMTRFUN
- ($PRODGUNCH $ANY MDEFINE NIL NIL)
- ($%0 $%N $%2)
- NIL
- (SIMPLIFY
- ($SUBSTITUTE
- (LIST
- '(MLIST)
- (SIMPLIFY
- (LIST
- '(MEQUAL)
- (SIMPLIFY ($NOUNIFY '%SIN))
- (M-TLAMBDA&ENV
- (($%0) ($%2))
- NIL
- (MUL*
- (SIMPLIFY
- (LIST '(%SIN)
- (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N)
- $%2)
- (TRD-MSYMEVAL $%N '$%N)
- $%0))))
- ((LAMBDA
- ($TRIGEXPAND)
- NIL
- (SIMPLIFY
- ($EXPAND
- (DIV
- (SIMPLIFY (LIST '(%SIN) $%0))
- (SIMPLIFY
- (LIST
- '(%SIN)
- (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N
- '$%N)
- $%2)
- (TRD-MSYMEVAL $%N '$%N)
- $%0))))))))
- T)))))
- (SIMPLIFY
- (LIST
- '(MEQUAL)
- (SIMPLIFY ($NOUNIFY '$PRODUCT))
- (M-TLAMBDA&ENV
- (($%0 $%1 $% $%3) ($%2))
- NIL
- (DIV
- (MUL*
- (SIMPLIFY
- ($FUNMAKE
- (SIMPLIFY ($NOUNIFY '$PRODUCT))
- (LIST '(MLIST)
- $%0
- $%1
- (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N)
- $%2)
- (TRD-MSYMEVAL $%N '$%N)
- (TRD-MSYMEVAL $% '$%)))
- (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N)
- $%2)
- (TRD-MSYMEVAL $%N '$%N)
- $%3)))))
- (SIMPLIFY
- ($PRODU
- $%0
- $%1
- (TRD-MSYMEVAL $% '$%)
- (ADD* (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N)
- $%2)
- (TRD-MSYMEVAL $%N '$%N)
- (TRD-MSYMEVAL $% '$%)))
- -1))))
- (SIMPLIFY
- ($PRODU $%0
- $%1
- (ADD* $%3 1)
- (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N)
- $%2)
- (TRD-MSYMEVAL $%N '$%N)
- $%3))))))))
- (SIMPLIFY
- (LIST
- '(MEQUAL)
- '%BINOMIAL
- (M-TLAMBDA&ENV
- (($%0 $%1) ($%2))
- NIL
- (MUL*
- (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N) $%2)
- (TRD-MSYMEVAL $%N '$%N)
- (SIMPLIFY `((%BINOMIAL) ,$%0 ,$%1))))
- (SIMPLIFY
- ($PRODU
- (DIV (ADD* $%1 '$%) (ADD* $%0 '$%))
- '$%
- 1
- (ADD* (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N)
- $%2)
- (TRD-MSYMEVAL $%N '$%N)
- $%1))
- (*MMINUS $%1))))
- (SIMPLIFY
- ($PRODU
- (DIV (ADD* (*MMINUS $%1) $%0 '$%)
- (ADD* (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N
- '$%N)
- $%2)
- (TRD-MSYMEVAL $%N '$%N)
- $%1))
- (*MMINUS $%1)
- $%0
- '$%))
- '$%
- 1
- (ADD* (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N)
- $%2)
- (TRD-MSYMEVAL $%N '$%N)
- (ADD* $%0 (*MMINUS $%1))))
- $%1
- (*MMINUS $%0))))))))
- (SIMPLIFY
- (LIST
- '(MEQUAL)
- '$BETA
- (M-TLAMBDA&ENV
- (($%0 $%1) ($%2))
- NIL
- (MUL*
- (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N) $%2)
- (TRD-MSYMEVAL $%N '$%N)
- (SIMPLIFY (LIST '($BETA) $%0 $%1))))
- (SIMPLIFY
- ($PRODU (DIV (ADD* $%0 $%1 '$%) (ADD* $%0 '$%))
- '$%
- 0
- (ADD* (MUL* (SIMPLIFY ($RATCOEF $%0
- (TRD-MSYMEVAL $%N
- '$%N)))
- $%2)
- -1)))
- (SIMPLIFY
- ($PRODU
- (DIV (ADD* $%0
- $%1
- (MUL* $%2
- (SIMPLIFY ($RATCOEF $%0
- (TRD-MSYMEVAL $%N
- '$%N))))
- '$%)
- (ADD* $%1 '$%))
- '$%
- 0
- (ADD* (MUL* (SIMPLIFY ($RATCOEF $%1
- (TRD-MSYMEVAL $%N '$%N)))
- $%2)
- -1)))))))
- (SIMPLIFY
- (LIST
- '(MEQUAL)
- '&!
- (M-TLAMBDA&ENV
- (($%0) ($%2))
- NIL
- (DIV
- (SIMPLIFY `((MFACTORIAL) ,
- (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N
- '$%N)
- $%2)
- (TRD-MSYMEVAL $%N '$%N)
- $%0))))
- (SIMPLIFY
- ($PRODU
- (ADD* $%0 '$%)
- '$%
- 1
- (ADD* (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N)
- $%2)
- (TRD-MSYMEVAL $%N '$%N)
- $%0))
- (*MMINUS $%0))))))))
- (SIMPLIFY
- (LIST
- '(MEQUAL)
- '%GAMMA
- (M-TLAMBDA&ENV
- (($%0) ($%2))
- NIL
- (DIV
- (SIMPLIFY `((%GAMMA) ,
- (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N
- '$%N)
- $%2)
- (TRD-MSYMEVAL $%N '$%N)
- $%0))))
- (SIMPLIFY
- ($PRODU
- (ADD* $%0 '$% -1)
- '$%
- 1
- (ADD* (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N)
- $%2)
- (TRD-MSYMEVAL $%N '$%N)
- $%0))
- (*MMINUS $%0)))))))))
- $%0))))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $PRODU T TRANSLATED)
- (ADD2LNC '$PRODU $PROPS)
- (DEFMTRFUN
- ($PRODU $ANY MDEFINE NIL NIL)
- ($%0 $%1 $% $%3)
- NIL
- ((LAMBDA
- ($X $Y)
- NIL
- (COND
- ((NOT ($INTEGERP $Y))
- (SIMPLIFY ($FUNMAKE (SIMPLIFY ($NOUNIFY '$PRODUCT))
- (LIST '(MLIST)
- $%0
- $%1
- (TRD-MSYMEVAL $% '$%)
- $%3))))
- ((IS-BOOLE-CHECK (MLSP $Y -1))
- (DIV 1
- (SIMPLIFY ($PRODU $%0
- $%1
- (ADD* $%3 1)
- (ADD* (TRD-MSYMEVAL $% '$%) -1)))))
- (T (DO (($I 0 (f+ 1 $I)))
- ((> $I $Y) '$DONE)
- (SETQ $X (MUL* $X
- (SIMPLIFY ($SUBSTITUTE (ADD* $I
- (TRD-MSYMEVAL $%
- '$%))
- $%1
- $%0)))))
- $X)))
- 1
- (SIMPLIFY ($RATSIMP (ADD* $%3 (*MMINUS (TRD-MSYMEVAL $% '$%))))))))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $NUSUM T TRANSLATED)
- (ADD2LNC '$NUSUM $PROPS)
- (DEFMTRFUN ($NUSUM NIL MDEFINE NIL NIL)
- ($%A $%N $%L $%H)
- NIL
- ((LAMBDA ($MAPPRINT $PROGRAMMODE $SOLVENULLWARN)
- NIL
- (MAREF 'MQAPPLY
- (SIMPLIFY ($NUSUML $%A
- (TRD-MSYMEVAL $%N '$%N)
- $%L
- $%H
- '((MLIST))))
- 1))
- NIL
- T
- NIL)))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $NUSUM T TRANSLATED)
- (ADD2LNC '$NUSUM $PROPS)
- (DEFMTRFUN ($NUSUM $ANY MDEFINE NIL NIL)
- ($%A $%N $%L $%H)
- NIL
- ((LAMBDA ($MAPPRINT $PROGRAMMODE $SOLVENULLWARN)
- NIL
- (SIMPLIFY ($FIRST (SIMPLIFY ($NUSUML $%A
- (TRD-MSYMEVAL $%N
- '$%N)
- $%L
- $%H
- '((MLIST)))))))
- NIL
- T
- NIL)))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $FUNCSOLVE T TRANSLATED)
- (ADD2LNC '$FUNCSOLVE $PROPS)
- (DEFMTRFUN ($FUNCSOLVE NIL MDEFINE NIL NIL)
- ($%A $%F)
- NIL
- ((LAMBDA ($MAPPRINT $PROGRAMMODE $SOLVENULLWARN)
- NIL
- (MAREF 'MQAPPLY
- (SIMPLIFY ($FUNCSOL $%A
- (TRD-MSYMEVAL $%F '$%F)
- '((MLIST))))
- 1))
- NIL
- T
- NIL)))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $DIMSUM T TRANSLATED)
- (ADD2LNC '$DIMSUM $PROPS)
- (DEFMTRFUN
- ($DIMSUM $ANY MDEFINE NIL NIL)
- ($%CL)
- NIL
- ((LAMBDA
- (|tr-gensym~128| |tr-gensym~129| |tr-gensym~130| |tr-gensym~131|)
- (UNWIND-PROTECT
- (PROGN
- (MSETCHK '$RATFAC |tr-gensym~128|)
- ((LAMBDA
- ($RATFAC $%CD $%PT $%PW)
- NIL
- (SETQ
- $%CD
- (SIMPLIFY
- (MAP1
- (GETOPR
- (M-TLAMBDA
- ($X)
- NIL
- (SIMPLIFY ($HIPOW (ADD* (SIMPLIFY ($RATSIMP $X))
- (DIV 1 (TRD-MSYMEVAL $%N '$%N)))
- (TRD-MSYMEVAL $%N '$%N)))))
- (LIST '(MLIST)
- (ADD* (MAREF $%CL 1) (MAREF $%CL 2))
- (ADD* (MAREF $%CL 1) (*MMINUS (MAREF $%CL 2)))
- (MAREF $%CL 3)))))
- (MASET (MAX (MAREF $%CD 1) (f+ (MAREF $%CD 2) -1)) $%CD 1)
- (SIMPLIFY
- ($INPART
- (SIMPLIFY
- ($SUBSTITUTE
- (SETQ
- $SOLVEP
- (SIMPLIFY
- ($SOLVE
- (SIMPLIFY
- ($CLIST
- (SIMPLIFY
- ($SUBSTITUTE
- (SETQ
- $%PT
- (SIMPLIFY
- ($FUNMAKE
- 'LAMBDA
- (LIST
- '(MLIST)
- (LIST '(MLIST) (TRD-MSYMEVAL $%N '$%N))
- (SIMPLIFY
- ($GENPOL
- (COND
- ((AND
- (IS-BOOLE-CHECK
- (MLSP (MAREF $%CD 1)
- (MAREF $%CD 2)))
- ($INTEGERP
- (SETQ
- $%PW
- (SIMPLIFY
- ($SUBSTITUTE
- (SIMPLIFY
- ($SOLVE
- (SIMPLIFY
- ($RATCOEF
- (ADD*
- (MUL*
- (MAREF $%CL 1)
- (ADD*
- (TRD-MSYMEVAL
- $%N
- '$%N)
- '$%))
- (MUL*
- (MAREF $%CL 2)
- (TRD-MSYMEVAL
- $%N
- '$%N)))
- (TRD-MSYMEVAL $%N
- '$%N)
- (MAREF $%CD 2)))
- '$%))
- '$%)))))
- (MAXIMUM
- (LIST
- (TRD-MSYMEVAL $%PW '$%PW)
- (ADD* (MAREF $%CD 3)
- (*MMINUS (MAREF $%CD
- 1))))))
- (T (ADD* (MAREF $%CD 3)
- (*MMINUS (MAREF $%CD 1)))))))))))
- (SIMPLIFY ($INPART (TRD-MSYMEVAL $%F '$%F) 0))
- (NCMUL2 $%CL
- (LIST '(MLIST)
- (TRD-MSYMEVAL $%F1 '$%F1)
- (TRD-MSYMEVAL $%F '$%F)
- 1))))))
- ($APPEND (COND (($LISTP (TRD-MSYMEVAL $L% '$L%))
- (TRD-MSYMEVAL $L% '$L%))
- (T
- (SETQ $L% (LIST '(MLIST)
- (TRD-MSYMEVAL $L%
- '$L%)))))
- (SIMPLIFY ($CLIST (SIMPLIFY ($INPART $%PT
- 2))))))))
- (PROGN
- (SETQ
- $L%
- (SIMPLIFY
- (MAP1 (GETOPR '&=)
- (TRD-MSYMEVAL $L% '$L%)
- (SIMPLIFY ($SUBSTITUTE (TRD-MSYMEVAL $SOLVEP
- '$SOLVEP)
- (TRD-MSYMEVAL $L% '$L%))))))
- $%PT)))
- 2)))
- |tr-gensym~128|
- |tr-gensym~129|
- |tr-gensym~130|
- |tr-gensym~131|))
- (MSETCHK '$RATFAC (TRD-MSYMEVAL $RATFAC NIL))))
- NIL
- '$%CD
- '$%PT
- '$%PW)))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $RATSOLVE T TRANSLATED)
- (ADD2LNC '$RATSOLVE $PROPS)
- (DEFMTRFUN
- ($RATSOLVE $ANY MDEFINE NIL NIL)
- ($P $X)
- NIL
- (SIMPLIFY
- (MAPPLY-TR
- '$APPEND
- (MAPLIST_TR
- (M-TLAMBDA&ENV
- (($P) ($X))
- NIL
- (COND
- ((OR (LIKE (SIMPLIFY ($HIPOW (TRD-MSYMEVAL $P '$P) $X)) 1)
- (LIKE (SIMPLIFY ($SUBSTITUTE 0 $X (TRD-MSYMEVAL $P '$P))) 0))
- (SIMPLIFY ($SOLVE (SIMPLIFY ($SUBSTITUTE (M-TLAMBDA ($X $Y)
- NIL
- $X)
- '&^
- (TRD-MSYMEVAL $P '$P)))
- $X)))
- (T '((MLIST)))))
- (MUL* 2 (POWER (SIMPLIFY ($FACTOR (TRD-MSYMEVAL $P '$P))) 2)))))))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $PRODSHIFT T TRANSLATED)
- (ADD2LNC '$PRODSHIFT $PROPS)
- (DEFMTRFUN
- ($PRODSHIFT $ANY MDEFINE NIL NIL)
- ($%0 $%2)
- NIL
- (SIMPLIFY
- ($SUBSTITUTE
- (LIST
- '(MLIST)
- (SIMPLIFY (LIST '(MEQUAL) (SIMPLIFY ($NOUNIFY '$PRODUCT)) '$PRODUCT))
- (SIMPLIFY
- (LIST
- '(MEQUAL)
- '$PRODUCT
- (M-TLAMBDA&ENV
- (($%0 $%1 $% $%3) ($%2))
- NIL
- (SIMPLIFY ($PRODU (SIMPLIFY ($SUBSTITUTE (ADD* $%1
- (*MMINUS $%2))
- $%1
- $%0))
- $%1
- (ADD* (TRD-MSYMEVAL $% '$%) $%2)
- (ADD* $%3 $%2)))))))
- $%0))))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $RFORN T TRANSLATED)
- (ADD2LNC '$RFORN $PROPS)
- (DEFMTRFUN
- ($RFORN $ANY MDEFINE NIL NIL)
- ($%3)
- NIL
- ((LAMBDA
- (|tr-gensym~132| |tr-gensym~133|)
- (UNWIND-PROTECT
- (PROGN
- (MSETCHK '$RATFAC |tr-gensym~133|)
- ((LAMBDA
- ($Y $RATFAC)
- NIL
- (SETQ $P (MUL* (TRD-MSYMEVAL $P '$P)
- (SIMPLIFY ($PRODU $Y
- (TRD-MSYMEVAL $%N '$%N)
- (TRD-MSYMEVAL $%N '$%N)
- (ADD* (TRD-MSYMEVAL $%N '$%N)
- $%3
- -1)))))
- (SETQ
- $%R
- (SIMPLIFY
- ($RATSIMP
- (DIV (TRD-MSYMEVAL $%R '$%R)
- (LIST '(MLIST)
- (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N
- '$%N)
- $%3)
- (TRD-MSYMEVAL $%N '$%N)
- $Y))
- $Y))))))
- |tr-gensym~132|
- |tr-gensym~133|))
- (MSETCHK '$RATFAC (TRD-MSYMEVAL $RATFAC NIL))))
- (SIMPLIFY ($GCD (MAREF (TRD-MSYMEVAL $%R '$%R) 2)
- (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N)
- (*MMINUS $%3))
- (TRD-MSYMEVAL $%N '$%N)
- (MAREF (TRD-MSYMEVAL $%R '$%R)
- 1)))))
- T)))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $RFORM T TRANSLATED)
- (ADD2LNC '$RFORM $PROPS)
- (DEFMTRFUN
- ($RFORM $ANY MDEFINE NIL NIL)
- ($%R)
- NIL
- (COND
- ((IS-BOOLE-CHECK (SIMPLIFY (RATP (DIV (MAREF (TRD-MSYMEVAL $%R '$%R) 1)
- (MAREF (TRD-MSYMEVAL $%R '$%R) 2))
- (TRD-MSYMEVAL $%N '$%N))))
- (COND (($ALGEBRAICP (TRD-MSYMEVAL $%R '$%R))
- (PROGN (MSETCHK '$GCD '$RED)
- (SETQ $GCD '$RED))
- (SETQ $ALGEBRAIC T)))
- ((LAMBDA
- ($P)
- NIL
- (SIMPLIFY ($RFORN 1))
- (DO
- (($%3)
- (MDO
- (CDR
- (SIMPLIFY
- ($RATSOLVE
- (SIMPLIFY
- ($RESULTANT
- (MAREF (TRD-MSYMEVAL $%R '$%R) 1)
- (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N '$%N) '$%)
- (TRD-MSYMEVAL $%N '$%N)
- (MAREF (TRD-MSYMEVAL $%R '$%R) 2)))
- (TRD-MSYMEVAL $%N '$%N)))
- '$%)))
- (CDR MDO)))
- ((NULL MDO) '$DONE)
- (SETQ $%3 (CAR MDO))
- (COND
- ((AND ($INTEGERP (SETQ $%3 (SIMPLIFY ($SUBSTITUTE (LIST '(MLIST)
- $%3)
- '$%))))
- (IS-BOOLE-CHECK (MGRP $%3 0)))
- (SIMPLIFY ($RFORN $%3)))))
- (LIST '(MLIST)
- (TRD-MSYMEVAL $P '$P)
- (DIV (MAREF (TRD-MSYMEVAL $%R '$%R) 1)
- (MAREF (TRD-MSYMEVAL $%R '$%R) 2))))
- 1))
- (T (SIMPLIFY ($ERROR (DIV (MAREF (TRD-MSYMEVAL $%R '$%R) 1)
- (MAREF (TRD-MSYMEVAL $%R '$%R) 2))
- '|&NON-RATIONAL TERM RATIO TO NUSUM|))))))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $NUSUML T TRANSLATED)
- (ADD2LNC '$NUSUML $PROPS)
- (DEFMTRFUN
- ($NUSUML $ANY MDEFINE NIL NIL)
- ($%A $%N $%L $%H $L%)
- NIL
- (COND
- ((LIKE $%A 0) (LIST '(MLIST) 0))
- (T
- ((LAMBDA
- (|tr-gensym~135| |tr-gensym~136|
- |tr-gensym~137|
- |tr-gensym~138|
- |tr-gensym~139|
- |tr-gensym~140|
- |tr-gensym~141|
- |tr-gensym~142|
- |tr-gensym~143|
- |tr-gensym~144|
- |tr-gensym~145|
- |tr-gensym~146|
- |tr-gensym~147|)
- (UNWIND-PROTECT
- (PROGN
- (MSETCHK 'MODULUS |tr-gensym~136|)
- (MSETCHK '$RATFAC |tr-gensym~139|)
- (MSETCHK '$GCD |tr-gensym~140|)
- ((LAMBDA
- ($SOLVEP MODULUS
- $RV
- $PRODHACK
- $RATFAC
- $GCD
- $ALGEBRAIC
- $RATALGDENOM
- $MATRIX_ELEMENT_MULT
- $DISPFLAG
- $MAPERROR
- $%F
- $%F1)
- NIL
- (SIMPLIFY ($RATVARS (TRD-MSYMEVAL $%N '$%N)))
- (COND
- ((AND
- (NOT
- (LIKE
- '((MLIST))
- ((LAMBDA
- (ERRCATCH RET)
- (COND
- ((NULL
- (SETQ
- RET
- (ERRSET
- (PROGN
- (SETQ
- $%CF
- (SIMPLIFY
- ($DIMSUM
- (LIST
- '(MLIST)
- (*MMINUS
- ($NUM
- (MAREF
- 'MQAPPLY
- (SETQ
- $%R
- (SIMPLIFY
- ($RFORM
- ((LAMBDA ($%A)
- NIL
- (LIST '(MLIST)
- ($NUM $%A)
- ($DENOM $%A)))
- (SIMPLIFY
- ($FACTOR
- (DIV
- (SIMPLIFY
- ($SUBSTITUTE
- (ADD*
- (TRD-MSYMEVAL
- $%N
- '$%N)
- 1)
- (TRD-MSYMEVAL
- $%N
- '$%N)
- $%A))
- (SIMPLIFY
- ($PRODGUNCH
- $%A
- (TRD-MSYMEVAL
- $%N
- '$%N)
- 1)))))))))
- 2)))
- (SIMPLIFY
- ($SUBSTITUTE
- (ADD* (TRD-MSYMEVAL $%N '$%N) -1)
- (TRD-MSYMEVAL $%N '$%N)
- ($DENOM
- (MAREF (TRD-MSYMEVAL $%R '$%R)
- 2))))
- (MAREF (TRD-MSYMEVAL $%R '$%R) 1))))))
- LISPERRPRINT)))
- (ERRLFUN1 ERRCATCH)))
- (CONS '(MLIST) RET))
- (CONS BINDLIST LOCLIST)
- NIL)))
- (NOT (LIKE '((MLIST)) (TRD-MSYMEVAL $SOLVEP '$SOLVEP))))
- ($CONS
- (PROGN
- (SETQ $%F (DIV (SIMPLIFY ($PRODGUNCH ($NUM $%A)
- (TRD-MSYMEVAL $%N
- '$%N)
- 1))
- ($DENOM $%A)))
- (SETQ
- $%F1
- (SIMPLIFY
- ($RATSIMP (SIMPLIFY ($RADCAN (TRD-MSYMEVAL $%CF
- '$%CF))))))
- (SIMPLIFY (MAPPLY-TR '$RATVARS $RV))
- (SETQ
- $%F1
- (SIMPLIFY
- ($SUBSTITUTE
- (M-TLAMBDA ($%0 $%1 $% $%3)
- NIL
- (SIMPLIFY ($PRODU $%0
- $%1
- (TRD-MSYMEVAL $% '$%)
- $%3)))
- (SIMPLIFY ($NOUNIFY '$PRODUCT))
- (ADD*
- (SIMPLIFY
- ($FACTOR
- (SIMPLIFY
- ($SUBSTITUTE
- $%H
- (TRD-MSYMEVAL $%N '$%N)
- (SIMPLIFY
- ($FACTOR
- (DIV
- (MUL*
- ($NUM (MAREF (TRD-MSYMEVAL $%R '$%R)
- 2))
- (TRD-MSYMEVAL $%F '$%F)
- (SIMPLIFY
- ($SUBSTITUTE
- (ADD* (TRD-MSYMEVAL $%N '$%N) 1)
- (TRD-MSYMEVAL $%N '$%N)
- (TRD-MSYMEVAL $%F1 '$%F1))))
- (MAREF (TRD-MSYMEVAL $%R '$%R) 1))))))))
- (*MMINUS
- (SIMPLIFY
- ($FACTOR
- (SIMPLIFY
- ($SUBSTITUTE
- $%L
- (TRD-MSYMEVAL $%N '$%N)
- (SIMPLIFY
- ($FACTOR
- (DIV
- (MUL*
- $%A
- (TRD-MSYMEVAL $%F1 '$%F1)
- (SIMPLIFY
- ($SUBSTITUTE
- (ADD* (TRD-MSYMEVAL $%N '$%N)
- -1)
- (TRD-MSYMEVAL $%N '$%N)
- ($DENOM
- (MAREF (TRD-MSYMEVAL $%R
- '$%R)
- 2)))))
- (MAREF (TRD-MSYMEVAL $%R '$%R) 1)))))))))))))
- (COND
- ((IS-BOOLE-CHECK (SIMPLIFY (RATP $%A
- (TRD-MSYMEVAL $%N
- '$%N))))
- (SIMPLIFY ($FACTOR (TRD-MSYMEVAL $%F1 '$%F1))))
- (T (TRD-MSYMEVAL $%F1 '$%F1))))
- (TRD-MSYMEVAL $L% '$L%)))
- (T (SIMPLIFY (MAPPLY-TR '$RATVARS $RV))
- (LIST '(MLIST)
- (SIMPLIFY (MFUNCALL '$SUM
- $%A
- (TRD-MSYMEVAL $%N '$%N)
- $%L
- $%H))))))
- |tr-gensym~135|
- |tr-gensym~136|
- |tr-gensym~137|
- |tr-gensym~138|
- |tr-gensym~139|
- |tr-gensym~140|
- |tr-gensym~141|
- |tr-gensym~142|
- |tr-gensym~143|
- |tr-gensym~144|
- |tr-gensym~145|
- |tr-gensym~146|
- |tr-gensym~147|))
- (MSETCHK 'MODULUS (TRD-MSYMEVAL MODULUS 'MODULUS))
- (MSETCHK '$RATFAC (TRD-MSYMEVAL $RATFAC NIL))
- (MSETCHK '$GCD (TRD-MSYMEVAL $GCD '$GCD))))
- NIL
- NIL
- (TRD-MSYMEVAL $RATVARS '$RATVARS)
- T
- T
- '$SPMOD
- NIL
- T
- '&*
- NIL
- NIL
- (SIMPLIFY ($FUNMAKE '$%F (LIST '(MLIST) (TRD-MSYMEVAL $%N '$%N))))
- (SIMPLIFY ($FUNMAKE '$%F
- (LIST '(MLIST) (ADD* (TRD-MSYMEVAL $%N '$%N) 1)))))))))
- (EVAL-WHEN (COMPILE EVAL LOAD)
- (DEFPROP $FUNCSOL T TRANSLATED)
- (ADD2LNC '$FUNCSOL $PROPS)
- (DEFMTRFUN
- ($FUNCSOL $ANY MDEFINE NIL NIL)
- ($%A $%F $L%)
- NIL
- ((LAMBDA
- (|tr-gensym~148| |tr-gensym~149|
- |tr-gensym~150|
- |tr-gensym~151|
- |tr-gensym~152|
- |tr-gensym~153|
- |tr-gensym~154|
- |tr-gensym~155|)
- (UNWIND-PROTECT
- (PROGN
- (MSETCHK '$RATFAC |tr-gensym~148|)
- ((LAMBDA
- ($RATFAC $MAPERROR $LINENUM $DISPFLAG $%F1 $%CL $%CM $%N)
- NIL
- (SETQ
- $%F1
- (SIMPLIFY
- ($SUBSTITUTE (SIMPLIFY (LIST '(MEQUAL)
- (TRD-MSYMEVAL $%N '$%N)
- (ADD* (TRD-MSYMEVAL $%N '$%N) 1)))
- (TRD-MSYMEVAL $%F '$%F))))
- (SETQ
- $%CL
- (SIMPLIFY
- ($FACTOR
- (MAREF
- 'MQAPPLY
- (SIMPLIFY
- ($AUGCOEFMATRIX
- (LIST
- '(MLIST)
- (SETQ
- $%A
- ($NUM (SIMPLIFY ($XTHRU (ADD* ($LHS $%A)
- (*MMINUS ($RHS $%A))))))))
- (LIST '(MLIST)
- (TRD-MSYMEVAL $%F1 '$%F1)
- (TRD-MSYMEVAL $%F '$%F))))
- 1))))
- (SETQ $%CM (SIMPLIFY ($RFORM (SIMPLIFY ($REST $%CL -1)))))
- (MASET
- (SIMPLIFY
- ($RATSIMP (DIV (SIMPLIFY ($SUBSTITUTE (ADD* (TRD-MSYMEVAL $%N
- '$%N)
- 1)
- (TRD-MSYMEVAL $%N '$%N)
- (MAREF $%CM 1)))
- (MAREF $%CM 1))))
- $%CM
- 2)
- ($APPEND
- ((LAMBDA
- (ERRCATCH RET)
- (COND
- ((NULL
- (SETQ
- RET
- (ERRSET
- (PROGN
- (SIMPLIFY
- (LIST
- '(MEQUAL)
- (TRD-MSYMEVAL $%F '$%F)
- (SIMPLIFY
- ($FACTOR
- (DIV
- (SIMPLIFY
- ($DIMSUM
- (SIMPLIFY
- ($RATSIMP
- (LIST '(MLIST)
- (DIV (MAREF $%CL 1)
- ($NUM (MAREF $%CM 2)))
- (DIV (MAREF $%CL 2)
- ($DENOM (MAREF $%CM 2)))
- (DIV (MUL* (MAREF $%CM 1)
- (MAREF $%CL 3))
- ($DENOM (MAREF $%CM 2))))))))
- (MAREF $%CM 1)))))))
- LISPERRPRINT)))
- (ERRLFUN1 ERRCATCH)))
- (CONS '(MLIST) RET))
- (CONS BINDLIST LOCLIST)
- NIL)
- (TRD-MSYMEVAL $L% '$L%)))
- |tr-gensym~148|
- |tr-gensym~149|
- |tr-gensym~150|
- |tr-gensym~151|
- |tr-gensym~152|
- |tr-gensym~153|
- |tr-gensym~154|
- |tr-gensym~155|))
- (MSETCHK '$RATFAC (TRD-MSYMEVAL $RATFAC NIL))))
- T
- NIL
- (TRD-MSYMEVAL $LINENUM '$LINENUM)
- NIL
- '$%F1
- '$%CL
- '$%CM
- (SIMPLIFY ($INPART (TRD-MSYMEVAL $%F '$%F) 1)))))